device tree: add device_tree_dump() to print a flat device tree
authorDavid Vrabel <david.vrabel@citrix.com>
Thu, 22 Mar 2012 14:26:46 +0000 (14:26 +0000)
committerDavid Vrabel <david.vrabel@citrix.com>
Thu, 22 Mar 2012 14:26:46 +0000 (14:26 +0000)
commite7df25ebdf8f302c440412c5eae3818a82dd5386
tree6034c6881ee40adfc65d6a6f57d94ab7ec395987
parent9cf4a9a467171c8a2c3d97c2bfadb1bc8b15a3d6
device tree: add device_tree_dump() to print a flat device tree

Add a device_tree_dump() function which prints to main structure and
properties names of a flat device tree (but not the properties values
yet).

This will be useful for debugging problems with the device tree
generated for dom0.

Signed-off-by: David Vrabel <david.vrabel@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/common/device_tree.c
xen/include/xen/device_tree.h